Tool Artifact for "Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation''

In this upload, we describe the installation, usage, and evaluation results of the tool DSPLNUM^2Analyzer, introduced by the paper ``Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation''. We provide step-by-step instructions on how to download, install, run, and compare the tool's outputs to outputs described in the paper. DSPLNUM^2Analyzer is a research prototype lifted static analyzer based on abstract interpretation designed for performing numerical static analysis of dynamic C program families. The reported results are obtained on the machine [Intel Core TM i7-8700 CPU@3.20GHz x 12, 8 GB Memory, 64-bit Ubuntu 18.04.5 LTS] - DSPLNUM2Analyzer.tar.gz contains the tool and instructions how to install and use it. - ecoop27.ova is a VM image containing the tool already installed. Enter 'DSPLNUM2Analyzer' subfolder from the home and follow instructions for using the tool